François Gravel: Miss Septembre

Triem Tong N ̊ ? ? ? ? Septembre 2001

We present Timbuk a tree automata library which implements usual operations on tree automata as well as a completion algorithm used to compute an over-approximation of the set of descendants R (E) for a regular set E and a term rewriting system R, possibly non linear and non terminating. On several examples of term rewriting systems representing programs and systems to verify, we show how to us...

19 April 2013 − − François

Assignment 3 François Séguin

Question 1 First, we have that λ − λ − 2 = (λ + 1)(λ − 2). Therefore, it is true that the eigenvalues of the corresponding adjacency matrix come in pairs of additive inverse. However, notice that ± √ −1 are eigenvalues, and therefore the associated matrix cannot be symmetric (there would only be real eigenvalues). We conclude that no undirected graph can have the above characteristic polynomial...

The Planck mission François

These lecture notes discuss some aspects of the Planck1 mission, whose prime objective was a very accurate measurement of the temperature anisotropies of the Cosmic Microwave Background (CMB). We announced our findings a few months ago, on March 21st , 2013. I describe some of the relevant steps we took to obtain these results, sketching the measurement process, how we processed the data to obt...

Septembre 2011 Université Paris - sud 11

15 Synthèse 17 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 Etude de sensibilité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Etalonnage des calorimètres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Première mesure de physique avec les données 2010 . . . . . . . . . . . . . . . . . ....